Reductio ad absurdum

Falacias
	Argumento a silentio; ad antiquitatem; ad baculum; ad consequentiam; ad crumenam; ad hominem; ad ignorantiam; ad lapidem; ad lazarum; ad logicam; ad misericordiam; ad nauseam; ad novitatem; ad populum; ad verecundiam; Post hoc ergo propter hoc; Cum hoc ergo propter hoc; Conclusión irrelevante; Arenque rojo; Falacia de composición; de división; del equívoco; del apostador; del jugador inversa; del hombre de paja; del alegato especial; de las muchas preguntas; de evidencia incompleta; del falso escocés; de la verdad a medias; de accidente; de accidente inverso; de asociación; de causa cuestionable; del costo irrecuperable; del francotirador; circular; ecológica; naturalista; Falsa equivalencia; Apelación al ridículo; Apelación a la naturaleza; Generalización apresurada; Petición de principio; Reductio ad Hitlerum; ad Stalinum; Tu quoque; Acento o énfasis; Falso dilema; Afirmación del consecuente; Negación del antecedente; Pendiente resbaladiza;

Reductio ad absurdum, expresión latina que significa literalmente 'reducción al absurdo', es uno de los métodos lógicos de demostración más usado en matemáticas para demostrar la validez (o invalidez) de proposiciones categóricas.

Se parte por suponer como hipotética la veracidad o falsedad de la tesis de la proposición a demostrar y, mediante una concatenación de inferencias lógicas válidas, se pretende llegar a una contradicción lógica, un absurdo. De llegar a una contradicción, se concluye que la hipótesis de partida (que se había supuesto verdadera al principio) ha de ser falsa (o viceversa).

Para demostrar la invalidez de una proposición, se supone como punto de partida que la proposición es cierta. Si la derivación final es una contradicción, se concluye que la proposición original es falsa y el argumento es inválido.

A este método también se le conoce como prueba por contradicción o prueba ad absurdum. Parte de la base es el cumplimiento del principio de exclusión de intermedios: una proposición que no puede ser falsa es necesariamente verdadera, y una proposición que no puede ser verdadera es necesariamente falsa.